Subject: PageSpinner TechNotes Contents: Information about file formats for modifications of PageSpinner default settings Usage : Not recommended
HTML Tags:
581 Code directive 0 9 0 Monaco 0
Be careful not to delete or add any tab or returns!
Restart PageSpinner.
If PageSpinner crash at startup restore the backup file and try again.
You will have to do is for every new relase since the contents in the HTML Tags file may change.
Tag info | Description | Example |
---|---|---|
1 Start tag | The ª character indicates a line break |
|
2 End tag | May be empty | |
3 Internal number | Don't change this | 581 |
4 Comment | Not needed | Code tag |
5 Style code | Integer value for the style to be used for text inside a tag pair
0 PlainIt is possible to combine styles by adding the values, e g the value 5 (1+4) gives bold and underlined text in the editor. | 0 |
6 Font size | 0 means no change - other values are size in points, think these must be > 4 | 9 |
7 Color of contents between tag pairs | One of the following color codes (0-16):
0 No change | 0 |
8 Fontname | Name of the font to be used for text inside a tag pair, if this is empty no change will be made | Monaco |
9 Color of the tag | One of the following color codes (0-16): 0 Default tag color (selected in the Preferences) | 0 |
[The creator code for the app] SPACE [The name in the menu]
Change or add a line if you want to add another application.
Restart PageSpinner.
If PageSpinner crash at startup restore the backup file and try again.
It must be a space (and not a tab) after the creator code.
To insert a line in the menu: add a row with five spaces and a - character
" -"
Open the file "PageSpinner User Tags" after you have launched PageSpinner. You can open and edit the file with PageSpinner (or another text editor such as Simple Text).
Copy the first line of text and paste this new line for every additional entry you need. Each line consists of:
Name of tag [TAB] Start tag [TAB] End Tag
Do not change the contents of a line. Save and close the file and quit PageSpinner. The next time you launch PageSpinner the additional entries will be available in the User Tag menu. If you are having problems you should restore the backup of the original file and try again.